Pii: S0098-1354(00)00582-2

نویسندگان

Aldo Vecchietti

Ignacio E. Grossmann

چکیده

This paper describes a number of key modeling issues for the development of tools for solving nonlinear discrete/continuous problems where logic/disjunctive constraints are included in the formulation. A generalized hybrid representation of these problems is presented. A comparison between Constraint logic programming (CLP) and generalized disjunctive programming (GDP) is established together with several constraint transformations from CLP to GDP. The components and expressions of a modeling language for setting up disjunctions and logic constraints are proposed. The language allows the specification of problems with complex logic formulations. A parser is developed for the analysis and translation of the logic sentences into files ready to be used by the solvers. An overview of the solution algorithms is also given together with several aspects about the implementation as a superset of GAMS mathematical programming language. Examples illustrating the capabilities of the proposed system are described. © 2000 Elsevier Science Ltd. All rights reserved.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Pii: S0098-1354(00)00569-x

A rigorous foundation is given for the logical formulation of process network synthesis on the basis of the combinatorial axioms of feasible processing networks. © 2000 Elsevier Science Ltd. All rights reserved.

متن کامل

Pii: S0098-1354(00)00593-7

In several process plants the precision of parameter estimates is low because the installed set of instruments do not satisfy the new information requirements for different purposes, from simple data reconciliation to on-line optimization. This paper presents models to perform the upgrading of instrumentation at minimum cost to achieve maximum precision of selected parameters. Alternative equiv...

متن کامل

Pii: S0098-1354(00)00318-5

In this paper, an extension of previous work performed for a system of two plants is presented. For a set of n plants, heat transfer leading effectively to energy savings occurs at temperature levels between the pinch points of supplying and receiving plants. In some cases, additional heat transfer in other regions is required to attain maximum savings. A systematic procedure, based on LP and M...

متن کامل